A Generic Model for Diagram Syntax and Semantics
نویسندگان
چکیده
syntax graph Figure 1: DIAGEN’s model for diagram syntax Scanning creates a spatial relationship graph that captures the lexical structure of diagrams, and uses edges for representing diagram components like circles and arrows. Edges are linked to nodes that represent the attachment areas at which diagram components can be connected with each other, like the border and area This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH).
منابع مشابه
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. A system represented in a visual language is syntactically defined as an attributed graph, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graph. The language semantics...
متن کاملReverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملDirection Neutral Language Transformation with Metamodels
The aim of this work is to sketch a general metamodel-based frame for describing potentially bidirectional transformations between software languages. We propose to describe a single language with a metamodel consisting of a UML class diagram with classes, attributes and associations and accompanying OCL constraints. A language description is separated into a syntax and a semantics part. The al...
متن کاملFormal Analysis in Model Management: Exploiting the Power of CZT
Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be underspecified to a degree that does not allow useful properties to be checked. The AUtoZ tools (jamesrobertwilliams.co.uk/autoz.php) provide formalisation in the style of commercially-acceptable model manageme...
متن کاملSemantic Rules of UML Specification
Abstract— Modeling of a system is an essential process in software development lifecycle (SDLC). It will produce a system artifact called a system model. In object– oriented based software development, a system model can be developed by using Unified Modeling Language (UML). UML is a modeling language for specifying, constructing, and documenting the artifacts of systems. It consists of 13 diag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000